Can we resolve the Continuum Hypothesis?
ثبت نشده
چکیده
I argue that that contemporary set theory, as depicted in the 20112012 EFI lecture series, lacks a program that promises to decide, in a genuinely realist fashion, the continuum hypothesis (CH) and related questions about the “width” of the universe. We can distinguish three possible objectives for a realist completion of set theory: maximizing structures, maximizing sets, and maximizing interpretive power. However, none of these is allied to a program that can plausibly decide CH. I discuss the implications of this for set theory and other foundational
منابع مشابه
The Continuum Hypothesis
The continuum hypotheses (CH) is one of the most central open problems in set theory, one that is important for both mathematical and philosophical reasons. The problem actually arose with the birth of set theory; indeed, in many respects it stimulated the birth of set theory. In 1874 Cantor had shown that there is a one-to-one correspondence between the natural numbers and the algebraic number...
متن کاملVOLUME MINIMIZATION WITH DISPLACEMENT CONSTRAINTS IN TOPOLOGY OPTIMIZATION OF CONTINUUM STRUCTURES
In this paper, a displacement-constrained volume-minimizing topology optimization model is present for two-dimensional continuum problems. The new model is a generalization of the displacement-constrained volume-minimizing model developed by Yi and Sui [1] in which the displacement is constrained in the loading point. In the original model the displacement constraint was formulated as an equali...
متن کاملThe transition energy and the beaming angle of converted LO-mode waves from 100 to 400 kHz through density gradient according to observations of kilometric continuum radiations in the plasmapause
The satellite observations such as the Cluster mission with four-point measurements show some local fluctuations in the density gradient in the vicinity of the plasmapause. These structures are found over a broad range of spatial scales, with a size from 20 to 5000 km. Also, the simultaneous observations of the kilometric continuum by IMAGE (Imager for Magnetopause-to-Aurora Global Exploration)...
متن کامل3D BENCHMARK RESULTS FOR ROBUST STRUCTURAL OPTIMIZATION UNDER UNCERTAINTY IN LOADING DIRECTIONS
This study has been inspired by the paper "An efficient 3D topology optimization code written in MATLAB” written by Liu and Tovar (2014) demonstrating that SIMP-based three-dimensional (3D) topology optimization of continuum structures can be implemented in 169 lines of MATLAB code. Based on the above paper, we show here that, by simple and easy-to-understand modificati...
متن کاملAcceptance sampling for attributes via hypothesis testing and the hypergeometric distribution
This paper questions some aspects of attribute acceptance sampling in light of the original concepts of hypothesis testing from Neyman and Pearson (NP). Attribute acceptance sampling in industry, as developed by Dodge and Romig (DR), generally follows the international standards of ISO 2859, and similarly the Brazilian standards NBR 5425 to NBR 5427 and the United States Standards ANSI/ASQC Z1....
متن کامل